bitkeeper revision 1.1363 (42680d0cgIEixfhEIj_iwmyZ73FnfA)

Fix assertion in delete_shadow_status to allow for removal of PGT_writable_pred's...

Signed-off-by: michael.fetterman@cl.cam.ac.uk

diff --git a/xen/include/asm-x86/shadow.h b/xen/include/asm-x86/shadow.h
index 79fc53142993bec7c4f53739bf8e9d066f1c1e04..4d954a2f2248806434cf2327a53f43d3e2b05d94 100644 (file)
--- a/xen/include/asm-x86/shadow.h
+++ b/xen/include/asm-x86/shadow.h
@@ -1152,7 +1152,7 @@ static inline void delete_shadow_status(
     unsigned long key = gpfn | stype;
 
     ASSERT(spin_is_locked(&d->arch.shadow_lock));
-    ASSERT(gpfn && !(gpfn & ~PGT_mfn_mask));
+    ASSERT(!(gpfn & ~PGT_mfn_mask));
     ASSERT(stype && !(stype & ~PGT_type_mask));
 
     head = hash_bucket(d, gpfn);